8 results for K Rustan M Leino
-
Anchor for 1 page of results
-
$17.62off
-
-
-
-
$30.25off
Tools and Algorithms for the Co...
Paperback
Published 18 Mar 2011Save $30.25
RRP $97.18- $66.93
-
Verification, Model Checking, a...
Paperback
Published 12 Feb 2016 -
Computer Aided Verification
Paperback
Published 22 Jul 2021 -
Computer Aided Verification
Paperback
Published 22 Jul 2021